Browsing by Subject "Time sharing systems"

Now showing items 1-2 of 2

    • Article  

      Modeling and analysis of power-aware systems 

      Sokolsky, O.; Philippou, Anna; Lee, I.; Christou, Kyriakos (2003)
      The paper describes a formal approach for designing and reasoning about power-constrained, timed systems. The framework is based on process algebra, a formalism that has been developed to describe and analyze communicating ...
    • Article  

      A process algebraic framework for modeling resource demand and supply 

      Philippou, Anna; Lee, I.; Sokolsky, O.; Choi, J. -Y (2010)
      As real-time embedded systems become more complex, resource partitioning is increasingly used to guarantee real-time performance. Recently, several compositional frameworks of resource partitioning have been proposed using ...